#include<fuquOS/type.h>

#define PIT_CMD_PORT 0x43
#define PIT_DATA_PORT 0x40
#define PIT_FREQUENCY 100 // 设置时钟中断频率 100Hz


void pit_init();

// 获取当前系统时钟计数
u32 get_tick_count();

